Alonzo Church - определение. Что такое Alonzo Church
Diclib.com
Словарь ChatGPT
Введите слово или словосочетание на любом языке 👆
Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

  • как употребляется слово
  • частота употребления
  • используется оно чаще в устной или письменной речи
  • варианты перевода слова
  • примеры употребления (несколько фраз с переводом)
  • этимология

Что (кто) такое Alonzo Church - определение

AMERICAN MATHEMATICIAN (1903-1995)
Church, A; Church, A.; A. Church; Alonzo Church (Mathematician); Alonso Church

Alonzo Church         
<person> A twentieth century mathematician and logician, and one of the founders of computer science. Church invented the lambda-calculus and posited a version of the {Church-Turing thesis}. (1995-03-25)
Alonzo Sánchez         
SPANISH MISSIONARY
Sánchez, Alonzo; Alonzo Sanchez
Alonso Sánchez (1547 – 27 May 1593) was a Spanish Jesuit missionary, one of the first Jesuits in the Philippines.
Alonzo Morphy         
AMERICAN JUDGE (1798-1856)
Alonzo Michael Morphy; Morphy, Alonzo
Alonzo Michael Morphy (November 23, 1798 – November 22, 1856)The Chess Games of Alonzo Morphy. was a lawyer serving as Attorney General of Louisiana from 1828 to 1830, and a justice of the Louisiana Supreme Court from August 31, 1839 to March 19, 1846.

Википедия

Alonzo Church

Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician, computer scientist, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, the Church–Turing thesis, proving the unsolvability of the Entscheidungsproblem, the Frege–Church ontology, and the Church–Rosser theorem. He also worked on philosophy of language (see e.g. Church 1970). Alongside his doctoral student Alan Turing, Church is considered one of the founders of computer science.